Verifying Route Request Procedure of AODV Using Graph Theory and Formal Methods
نویسندگان
چکیده
منابع مشابه
Improving AODV Performance using Dynamic Density Driven Route Request Forwarding
Ad-hoc routing protocols use a number of algorithms for route discovery. Some use flooding in which a route request packet (RREQ) is broadcasted from a source node to other nodes in the network. This often leads to unnecessary retransmissions, causing congestion and packet collisions in the network, a phenomenon called a broadcast storm. This paper presents a RREQ message forwarding scheme for ...
متن کاملcomparative dna interaction studies of antiviral drug, zidovudine and its complex using different instrumental methods
هدف از این مطالعه بررسی امکان استفاده از داروهای شناخته شده در درمان سایر بیماریها به عنوان داروهای ضد سرطان است. همچنین با استفاده از این داروها در ساختمان کمپلکس فلز می توان شاخص های دارویی بدست آمده را بررسی نمود. داروی ضد ویروس ایدز(hiv)به نام زیدوودین(azt)انتخاب و.کمپلکس.محلول.در.آب[pt(azt)2]cl2سنتزو به روشهای مختلف فیزیکی و شیمیایی شناسایی گردید. بر هم کنش مقایسه ای این دارو و کمپلکس پلا...
15 صفحه اولEnergy Level and Link State Aware AODV Route Request Forwarding Mechanism Research
Ad-hoc On-demand Distance Vector (AODV) provides scalable and effective solution for packet routing in mobile wireless ad hoc networks, however, the path generated by this protocol may derivate far from optimal because of inconsideration of node power ,load unbalance and link state,resulting in energy consumption of each nods is imbalanced and reduce the lifetime of whole networks. Based on the...
متن کاملdevelopment of different optical methods for determination of glucose using cadmium telluride quantum dots and silver nanoparticles
a simple, rapid and low-cost scanner spectroscopy method for the glucose determination by utilizing glucose oxidase and cdte/tga quantum dots as chromoionophore has been described. the detection was based on the combination of the glucose enzymatic reaction and the quenching effect of h2o2 on the cdte quantum dots (qds) photoluminescence.in this study glucose was determined by utilizing glucose...
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
With the development of sensor technology and electronic miniaturization, wireless sensor networks have shown a wide range of promising applications as well as challenges. Early stage sensor network analysis is critical, which allows us to reveal design errors before sensor deployment. Due to their distinguishable features, system specification and verification of sensor networks are highly non...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Applications of Graph Theory In wireless Ad Hoc Networks And sensor Networks
سال: 2011
ISSN: 0975-7260
DOI: 10.5121/jgraphoc.2011.3201